@Article{SouzaSantVija:2017:NeTeCr,
author = "Souza, {\'E}rica Ferreira de and Santiago J{\'u}nior, Valdivino
Alexandre de and Vijaykumar, Nandamudi Lankalapalli",
affiliation = "{Universidade Tecnol{\'o}gica Federal do Paran{\'a} (UTFPR)} and
{Instituto Nacional de Pesquisas Espaciais (INPE)} and {Instituto
Nacional de Pesquisas Espaciais (INPE)}",
title = "H-Switch Cover: a new test criterion to generate test case from
finite state machines",
journal = "Software Quality Journal",
year = "2017",
volume = "25",
number = "2",
pages = "373--405",
month = "June",
keywords = "FSM test criteria, H-Switch Cover, Model-based testing, Software
testing.",
abstract = "Test cases generation based on Finite State Machines (FSMs) has
been addressed for quite some time. Model-based testing has drawn
attention from researchers and practitioners as one of the
approaches to support software verification and validation.
Several test criteria have been proposed in the literature to
generate test cases based on formal methods, such as FSM. However,
there is still a lot to be done on this aspect in order to clearly
direct a test designer to choose a test criterion most suitable to
generate test cases for a certain application domain. This work
presents a new test criterion for model-based test case generation
based on FSM, H-Switch Cover. H-Switch Cover relies on the
traditional Switch Cover test criterion, but H-Switch Cover uses
new heuristics to improve its performance, for example, adoption
of rules to optimize graph balancing and traverse the graph for
test cases generation. We conducted an investigation of cost and
efficiency of this new test criterion by comparing it with unique
input/output and distinguishing sequence. We used two embedded
software products (space application software products) and
mutation analysis for assessing efficiency. In general, for the
case studies proposed in this paper in terms of cost (amount of
events) and efficiency (mutation score), H-Switch Cover test
criterion presented an average and a standard deviation better
than the other two test criteria.",
doi = "10.1007/s11219-015-9300-8",
url = "http://dx.doi.org/10.1007/s11219-015-9300-8",
issn = "0963-9314",
language = "en",
targetfile = "souza_hswitch.pdf",
urlaccessdate = "27 abr. 2024"
}